
   Syntax       label %:= LEFT% label

   Purpose      Isolates the left expression in an equation or relation.

   %Example%

   þR1 : c < d < e
   þE1 := LEFT R1
   E1 : c

   PROCEDURE Example(LABEL L1, L2) ;
     L2 := LEFT L1 ;
   EXIT
